I added a more detailed comment on the reasoning for that code.