Fix bug in tilde compare