Docs minor fixings