now final really final after proof-reading and clearing out refs, last typos in names