corrected typos and improved some formulations