After reports that President George W. Bush and his wife, Laura, voted for Hillary Clinton, a spokesman has cleared things up — to an extent.

According to The Wall Street Journal, a spokesman said the Bushes voted two weeks ago and didn’t cast a ballot for either Trump or Clinton. The spokesman would not say if they had voted for a third-party candidate or had written in a name.

In September, Maryland Lt. Gov. Kathleen Kennedy Townsend posted a photo on Facebook with the elder Bush, saying “The President told me he’s voting for Hillary!!”

Trump was engaged in a nasty primary battle with George W. Bush’s brother, Jeb, in which the pair clashed on a number of occasions before Bush dropped out of the race.

(AP)