Fixing a front-end bug live during the Community office hour call July 19 2022