Minor playground theming fix.
Fixed lint warning.