Made get/setHighLevelState ordering uniform: get... comes before set...