Update header according to new coding style.