minor corrections, comments