Duplicate nav (header navigation) element ID in source code

Hi,

i am running the latest hueman theme and i was wondering why some of my code including javascript and css didnt work anymore. After some debugging i found out that two nav elements (header menu) for the navigation menues do have the same id, which makes it impossible to select one specific for e.g. plugins like myStickymenu or another css or jquery selector using code. Is there any chance the menues can be assigned with unique menue ids somewhere or possibly this can be fixed in the next version?

`<nav id=”nav-header” …>

thanks in advance

K.