Sharpen previously dangerous spec expectation