Close #7794 (docfix)