Fix typo in #413