Fixed a typo that probably had no effect anyway