Frontend: Fix typo in comments.