4xm, timefilter: K&R formatting cosmetics