as usual, fix a typo