issue #39: update error message