Fix a few small errors