diff --git a/CHANGELOG.md b/CHANGELOG.md
index 054630e62b7..0e7aa9ba1ed 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -67,6 +67,7 @@ We refer to [GitHub issues](https://github.com/JabRef/jabref/issues) by using `#
 - We added an option in the preference dialog box that allows user to enable helpful tooltips.[#3599](https://github.com/JabRef/jabref/issues/3599)
 - We moved the dropdown menu for selecting the push-application from the toolbar into the tools menu.[#674](https://github.com/JabRef/jabref/issues/674)
 
+
 ### Fixed
 - We fixed an issue where JabRef died silently for the user without enough inotify instances [#4874](https://github.com/JabRef/jabref/issues/4847)
 - We fixed an issue where corresponding groups are sometimes not highlighted when clicking on entries [#3112](https://github.com/JabRef/jabref/issues/3112)
diff --git a/src/main/java/org/jabref/gui/push/PushToApplicationMenuAction.java b/src/main/java/org/jabref/gui/push/PushToApplicationMenuAction.java
index ffd323c9616..3d6afd29fe0 100644
--- a/src/main/java/org/jabref/gui/push/PushToApplicationMenuAction.java
+++ b/src/main/java/org/jabref/gui/push/PushToApplicationMenuAction.java
@@ -63,11 +63,11 @@ public void execute() {
         MenuItem menuItem = manager.getMenuItem();
         Button toolBarButton = manager.getToolBarButton();
 
-        if(menuItem != null) {
+        if (menuItem != null) {
             factory.configureMenuItem(pushToApplicationAction.getActionInformation(), pushToApplicationAction, menuItem);
         }
 
-        if(toolBarButton != null) {
+        if (toolBarButton != null) {
             factory.configureIconButton(pushToApplicationAction.getActionInformation(),pushToApplicationAction, toolBarButton);
         }
     }