addendum to #715 fix