dv: K&R formatting cosmetics