minor changes to appsfragment.tex