Bugfix in sanitizer