Correct some typos/mistakes in declarations