Tiny doc fix.