Commenting out edits we made, to make absolute sure that the bug isn't
introduced by us.