Fix for previous commit which broke the build.