Make EPS output smaller by about 1/3.