Fix typo in copy/pasted code