Changes I made a long time ago and which I'm not going to look into and summarize.