Omitting characters that are not allowed in NavigationStates #28