fix a misprint