addendum to 113c3847f4