Debugging commit 07c0127b9ccb7966ad26ad71cd83c1a0f94903d3.