remove vacuous state-setting