Update banner, as the file was actually revised today.