Fixed weird character issue from last commit

Fixed a weird character issue from the last commit, that may have been due
to using a different text editor that changed some characters, possibly due to
character encoding