various formatting minor issues