Fixing getHighestSeverity() on node-maps