"clean" for Muller case too