Clarification of spec example