Fix problems#index.json