Fix the build after #783 broke it