small tweak to StateManager