straighten out documentation for #3544