Lint: names can have digits