minor documentation fix