Fixing the build.

Fixes issue 1003.