some minor style cleanup