fixing tildes problem