no big deal, every child is different

You can bet by the age of 10, she won't need it :) Let her grow out of it naturally, don't wake her up middle of the night just for this, especially now that school has started, getting enough sleep is the most important thing.