Some fixes for docs