Fixed a small bug introduced by Martin, probably a typo