Fix typo in #13