Some small doc fixes only relevant on the master branch