Fix for an unicode inconsistency