Fix error on searchGithubGithubSeptember 5, 2022platformThis update fixes an error that caused the search page to not function properly.