Fix a broken conversion