fix some typos and remove paragrath about symbol substitutions