fix typo; add header