Copy-edit from Wietse
Wietse introduction comments