Fixed headers

Some of them were probably generated some time ago and were not
up to date