Remove tilde alias

I think the comment says it all here. Why not clean it up if it's not used?