Fixing jump nav in docs