Fix bug #10271: our imported resource name was wrong.