Fix font size being too large

latest commit 4c728a3ff7
@edwinfinch authored