changed the notation for default encoding