Fixed the invariants in bounded newrtp spec.