documentation fix bug