addendum to a5e27b5