tried to fix sphinx bug