Why, for movies are producer credits listed in clumps sometimes? For example, according to its credits, "Star Trek Into Darkness" was, according to its credits, "produced by JJ Abrams and Bryan Burk" and then in a separate credit, "produced by Damon Lindelof."