minor tuning; comments