* Slight improvement to the Bookmarks gui