minor API doc fix