Why are the default characters in BadURLChars?