add header for assertion