Fix a few sloppy mistakes