docs fixes, including one that is probably breaking the docs build