minor fixes for docs