Some edits on header.js