Fix header bug and update TODO