some fixes to autoheal docs