Frontend: Fix a typo