minor updates; comments