disallow leading zeroes