Fix some stupid bugs/typos