restore HeaderCtrl.js