addendum to 7b9e5b8