Quick-fix for a false negative