Fixed a bug preventing compilation in the previous commit.