correct the tilde