Fixed bug introduced in the previous commit (oops!)