Fix some embarrassing python typos