Fix a few minor errors