issue #737: adjusted error message