Fixed a typo (thanks to Lubos).