doc/check_docs2.py warnings fixes