corrections to reflect local changes. formatting.