Fix: playground may not always load.