some small corrections, mainly cosmetics