Also, didn't we need to disallow things like ha-foo-bar?