Depending on how small he's printed, you might want to bump up horizontal expansion to retain the smaller lines. I used 0.3 in Cura.  Or just use “Print Thin Walls”.

But it's not necessary at the default 70x89mm size.