quick documentation fix