Replaced getters in printStateInformation.