small fix in my addendum