Given the comment, we should allow `[0-9]` as well.