Improved wording of the "documented convention"