Is that symbol gone now, in version 4.0.0?