Fixed some flopalyzer bug