fixed a bug on DummyState.h