Some corrections taken from an email by Jan Strejcek