addendum to #dfea48a