More minor fixes for docs