Fixes a typo

Maybe it's not a typo but it doesn't work without this fix...