Minor revisions. Mostly math related issues.