Fix minor documentation issues

This patch series fixes several minor documentation issues.