minor alterations, mostly to ijpost