back-port fix to the doc.