Minor changes based on pull request comments.