Minor doc fix.