One of his colleagues whispered.