Fixed a minor mistake