No, I see it is not needed. I fixed it by 305d2e9.