Fix bot breakage caused by Chromium extension PR

Fix bot breakage caused by PR #3751.