minor fix on header