Fix InterfaceWithCleaver GUI

For #660