Remove superfluous tilde