Minor corrections suggested by @QuLogic on PR 855