Addendum to #332