little fix for push server