removed errant unicode characters from server.pp