fix intersphinx mapping