Why is #revox a witch, and how to solve it?