this is wrong, and is already addressed properly in #5020