Addendum to #212