Minor adjustments, no changes intended