tilde expansion problem?