I submitted five tiny doc fixes.