Fix #424: 3 different name identifiers.