Fix a comment in the specs