fix symbol encoding (fixes HsColour)