Improve documentation for #1442