Removed funny characters added by Github editor