just a few code style fixes