tiny fix for tilde issue