#23: rename external API element