minor doc corrections (hope drone.io will build the master branch if I make a commit on it)