Fix portal-highlighter-missing-resonators

Fixes portal-highlighter-missing-resonators according to #663