fix the tilde