Bug correction in SpiceManager
Changed condition for SpiceManager state machine.