nav menu and ForAll
small fix for publishing