Correct Symbiflow instructions