Tiny style fixes in different files