Fix a broken external API