Fixed stupid bug introduced by previous commit