hey, i found this too, it's from the park tool site:

"Many headset cups are held in place by a "press fit". The headset cup has a slightly larger diameter than the head tube inside diameter. Generally, differences of 0.1-0.25mm are considered adequate for a press fit. If the pressed cup is more than 0.3mm larger than the frame inside diameter, it may be very difficult to install, and frame damage may result."

if i'm reading both you and park correctly, you're well within tolerances.