Fix tilde bug