#6101: Get rid of extra margin.