Minor doc fix