minor copyright header error