Fix a bug relating to tilde expansion