Addendum to #25.