formatting minor changes