Fix a few silly mistakes