This should fix the build, but maybe there was a bug before.