Fix a sup-related bug