spec4: Fix a wrong comment