Fixed a typo

This was pointed out by @errge@