Improved comment description of exit_err().