Formatting minor modifications