Fix typo introduced in #729