Fix bug in copyright