Botched fontsize-kludge is botched