minor paper fixes