I hit "merge" before pushing an updated commit with feedback from #1338.

This commit has some minor updates to the PR.
Merge pull request #1340 from beav/bugprocess

I hit "merge" before pushing an updated commit with feedback from #1338.