Fixed a mistake introduced in the previous commit