Tweaked tilde expansion