fix typo in 9034e58b1