Fix unicode weirdness in psql-header