Fixed a typo (probably a copy-paste mistake)