Minor bug: array_intersect_key() argument #1 is not an array

After fresh install of OceanWP and Ocean Extra on a clean and newly set-up WordPress 4.9.2 site, after activating the OceanWP theme, and then activating Ocean Extra using the link in the notification message, I get the following error/warning when navigating to the Plugins WP-panel page:

( ! ) Warning: array_intersect_key(): Argument #1 is not an array in …\wordpress\wp-content\plugins\ocean-extra\includes\panel\scripts.php on line 605

Refreshing the plugins page (F5) makes the error/warning go away.

The page I need help with: [log in to see the link]