adjusted syntax to make cobertura happy