3.930; unicode and formatting