Fix trivial mistakes