slight style fixes