Small typo in previous commit (bc138b443f7d6d99c8e2e22d3ff389ea0973c42a)