Removing unnecessary app.gui.flush calls from manual

Resolves #604. Other failures reported in that issue appear (to me) to have been resolved in current master.