Slightly improve the spec