Fix a missing <