What the purpose of this notch? Does it have a name?