fix a typo in 004773c0