[polari] userList: Fix updateHeaders() function

[Florian Müllner <fmuellner src gnome org>]

commit cfd47833189826abd2da2e3826ca25ee6473aa26
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Oct 2 10:47:04 2013 +0200

    userList: Fix updateHeaders() function

 src/userList.js |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/src/userList.js b/src/userList.js
index c970844..7c442ef 100644
--- a/src/userList.js
+++ b/src/userList.js
@@ -83,8 +83,10 @@ const UserList = new Lang.Class({
     _updateHeader: function(row, before) {
         let numMembers = this._list.get_children().length;
 
-        if (before)
+        if (before) {
             row.set_header(null);
+            return;
+        }
 
         let header = this._list.get_row_at_index(0).get_header();
         if (header) {