Some fixes in docs