code style: whitespace nits