fix a mistyping