Tiny API change for profile extensions. #37