we should fix the bug for 4.0.1 release. I'll fix it