got rid of tilde