re #537 larger font-size