Docs minor fixes