header fix for #40