minor bugfix in bookmarks javascript