Fix a bug left over from when the code was moved into a subdir