minor modifications in formatting