Proper double license headers