addendum to 94bf1fdc0dda582f7d29b16893383f22f8f8c77d