I don’t know how this should work, but let’s at least record the current behaviour in case it changes