Hm, i forgot to change that comment: it's not really the `stateful` attribute, but all in all, we were asked not to save the modified state