Minor adjustments, comments