Donald Trump's desk in the Oval Office has been temporarily replaced a week after Elon Musk and his son, X, visited the White House, where the 4-year-old picked his nose near it.

“This desk, the ‘C&O,’ which is also very well-known and was used by President George H.W. Bush and others, has been temporarily installed in the White House while the Resolute Desk is being lightly refinished—a very important job,” Trump wrote.

President Trump says the famous Oval Office desk where Elon Musk’s son seemed to wipe his finger after picking his nose during his father’s impromptu press conference is now out for a light touch-up. In the meantime, the president is using a desk once used by the elder President Bush.