Fix for jedi:doc