Fix assertion to be invariant to spec overhead