Fix typo in #1176