Made character getter for the state machine