Others minor fixes for Docs