Issue #335: Minor doc changes.