Fix a wrong spec example