very minor typo in code example