added proper copyright header