Fix #15

Forgot to restore state to normal before minimization