     // check for cuda-capable device
     int cuda_device_count;
     gpuErrchk(cudaGetDeviceCount(&cuda_device_count));
-    assert(cuda_device_count > 0 && "Error: no CUDA-capable device detected");
+    assert((cuda_device_count > 0) && "Error: no CUDA-capable device detected");
 
     // select a cuda-capable device
     int cuda_device_id;


    // Create dst bitmap image (empty for now)
    *dst_bitmap = createBitmap((*src_bitmap)->width, (*src_bitmap)->height, (*src_bitmap)->depth);
    assert(*dst_bitmap != NULL && "Error: could not allocate memory for dst_bitmap");

    printf("image information\n");
    printf("=================\n");

    // save 8-bit binary-valued grayscale version of dst_bitmap to dst_fname
    binary_to_grayscale(*dst_bitmap);
    int save_successful = saveBitmap(dst_fname, *dst_bitmap);
    assert((save_successful == 1) && "Error: could not save dst_bitmap");

    // free memory used for bitmaps
    free(*src_bitmap);
