Some changes to the header. Jørgen does not approve.