I'm guessing, in theory, they do. In practice, well, it's not an issue. And if there were situations where this were commercially important, you'd want to make clear that copyright was explicitly assigned.