Fix a condition as suggested by Rich. Although what was in the code was working in practice it was not formally correct.