Fix a bug for VTE detection