Fixing some doc formatting