took out source encoding line added by kate