tiny formatting and code style cleanup