Minor addendum to #238