Updated: cc37f81
(add other missing file headers on the new files)