minor: whitespace
avoid using octal constants

Using "01" is unwise, since using a leading zero indicates an octal
(base 8) number.