fixing a tilde