That appears to be an artifact of -Yshow-trees. I get the 17 vs 17:18 diff without it, which means I will soon know why.