style changes prompted by pull request review