add missing (provide 'jg-quicknav) line