Minor refactoring bug fix in push notification task
Merge branch 'feature/push-notifications' of github.com:usersource/anno into feature/push-notifications