Don't use tildes in debugging