Trivial corrections to the synopsis