bugfix in sanitizer