bugfixing the flopalyzer