Fixed highstate module (wrong merge)