typo
yet another forgotten change.