Fix a bunch of typos and missing symbols