Fix typo in comment in last commit