Some comments corrected.