In fact, `set` seems to be unnecessary. Anyway I am working on another patch with the desired behaviour (I hope).