fix a minor mistake