Minor doc bug fix.