stale bookmarks

Hi Folks. I've found a bug where an old bookmark stays around after it's supposedly been deleted. I haven't been able to reliably repeat it, but I've attached two screen shots to show the situation, and I'm hoping you can tell me what file to edit to clear out the ghost. Thanks!