little documentation fix