Minor document cleanup...