I made a couple more minor edits and am resubmitting to see if my last pull
request failed Travis Buildbot by a fluke of a website being down or somesuch,
as Vincent suggested might be the case.