minor fix-up in efont license