Merge !192: doc build nitpicks

5 jobs for master
in 2 minutes and was queued for 2 seconds