Improved the vmefail() code.