fix type, add header