Fix a strange build issue...