minor: making intersphinx work