added a must not clause to improve coverage