Addendum to #412

Works on #415