fix typo pointed out by Phillip Marcus Wilt