It clearly should not report the VEEN error.