Avoid annoying type warnings when merging profiles