Addendum to #28