You're right, so I fixed it. But I expect the inlining will undo most of that...