You're right, this is a mistake. I just checked and it is actually not necessary to import this symbol. Code also works properly without importing it. I guess, I was already mentally tired yesterday afternoon. Thanks for catching this! :)