tiny doc fix.