Fixed an error left behind after previous commit