fix false positive for free variable check