final commit before Wouter review, with conclusions and spell check