Editing file: stateManager.js