Added corrections, final version.