revision & formatting