Fix a couple of StyleCop warnings