Doc tweaks

A few minor enhancements to the documentation.