Including the legal copyright header