rettet en mindre fejl i IProgramState