Let's hope that's just a temporary annoying situation. If all what you posted comes true (in August or early September), then there will be no time to even notice these types of tiny sells IMO.