fixes and addenda