diff --git a/services/web/public/src/ide/pdf/controllers/PdfController.js b/services/web/public/src/ide/pdf/controllers/PdfController.js
index a27f14f2ee..026276d735 100644
--- a/services/web/public/src/ide/pdf/controllers/PdfController.js
+++ b/services/web/public/src/ide/pdf/controllers/PdfController.js
@@ -977,7 +977,7 @@ define([
       this.cursorPosition = cursorPosition
     })
 
-    $scope.syncToPdf = function() {
+    $scope.syncToPdf = () => {
       if (this.cursorPosition == null) {
         return
       }