cosmetics: K&R coding style, prettyprinting