fix typo?

not sure it's a typo, maybe it was a conscious choice (feel free to discard of course).