Corrected annoying StyleCop warning