fix typo on tilde