Simplify spec assertion