Right, I see. Sad to read that the proposal to fix this behavior has been rejected.