fix isphinx target