Formatted with StyleCop