optimize error report. Fixes #311.