Make undot() work again