fix some trivial errors