some minor modifications in comments