use xdigit character class -- fix #100