manually adding some copyright headers