trivial corrections