Tiniest typo fix in code example