minor changes (mistyping, formatting)