addendum to 'fix #3557'