Documentation example fix.