Removing section about a bug that's not a bug anymore!