Documentation fixes reported by Travis CI