fix spurious !