Remove now useless field (see previous commit)