proposed corrections for the doc to compile