I agree, but I haven't been too eager to reformat the existing style of that (pretty old) source file. I felt it would be better to be consistent.