Fix for hex-escape symbol reader