Small typo in state.tex