Very minor code example fix.