updating formal details