closed #4150:  Fix missing "!"