Formatting minor stuff