Fix a scrutinizer bug