Fix a false positive (fixes #215)