frontend/main.js: small indentation fix