Fix a small CI issue