Style stuff I overlooked before