Some little style fixes