the previous commit (edb8b47e26e63eb2fe411b79b03937c5e0fe667a) failed to
take into account that we can't set overwrite a property which already
has a getter

however, that property served no tangible purpose anyway, so we'll just
get rid of it