Fixes #4287: Optimisation on name