hiding extraneous header, fixing nested comment