fixes #2316 (and similar post error messages)