Added an accessor for the StateManager