FxCop fixes