Slight change to printState