Minor Changes to state_rep.h