Subtle doc fix.