Correct some small typos and compilations errors