this semantic change needs proper documentation; I’m not even sure that it is desired.