Fixes #6: Problem when highlighting internal state names starting with a digit.