manual improvement in fun_ext.tex