fixed a mistyping