renamed <url-char> => <bare-url-char>