Addendum

some minor changes to the previous commit