Broncos linebacker Von Miller and defensive end Derek Wolfe should have been penalized for holding and tripping during a 16-10 win over the Raiders on Sunday.

Oakland running back Marshawn Lynch was limited to 12 rushing yards on nine carries against Denver. That’s an average of just 1.3 yards per carry, a dismal total even against the Broncos, who have the best run defense in the NFL. Lynch may have had a least one more yard if not for being tripped by Miller on this play:

If Miller hadn’t tripped Lynch, the running back may have still been tackled by linebacker Brandon Marshall, but the trip should have been a penalty. Article 7 of Rule 12 states that “no defensive player may trip an opponent.” The penalty for doing so is 10 yards awarded to the offense.

The officials did not penalize Miller perhaps because they did not see it happen or because they did not know if Miller intentionally stuck his leg out in front of Lynch to trip him. Only four players were penalized for tripping last season, according to NFLPenalties.com.

Later in the game, Miller benefited from another questionable play when Wolfe held Raiders right tackle Marshall Newhouse, allowing his teammate to easily sack quarterback EJ Manuel.

Von Miller gets the sack because @Derek_Wolfe95 is able to "occupy" Newhouse as Miller wins on the edge! #Broncos pic.twitter.com/SiFy3q9AMk — DLineVids (@DLineVids) October 2, 2017

Holding can be — and has been — called on defensive linemen before, though it usually happens when a defender is trying to prevent an offensive lineman from going upfield to block a linebacker.

Sunday’s outcome may not have changed if Miller was called for tripping and Wolfe was called for holding, but both plays should have been penalties.