style fixes

Just to keep things consistent...