Updated example specifications