* minor documentation fix