Change label, fixes #5227