tilde seems to break things. I do not know why