style fixes by martin