Fixed a pervasive documentation bug