style fixes from PR review