Warning fix: Removed weird unicode character that looked like whitespace.