issue #621: always print fatal error at the end