tiny fix for tilde issue 2