Removing extraneous tilde