tentative final pdf again; cosmetic changes