bug fix on static checker