elaborate_instances, typo from previous commit