Fixed yet another small bug introduced in previous commit