Trying to reproduce #10229.