Fixed a small bug/typo