Fix bug--navigation works locally but not in github page