Why 2 copyright headers?