small fix in copyright