Various docs

Four fixes for four recent issues.