Fixed a minor mistake.