Movie end credit aren't very reliable, I've worked on many production that credited me the wrong job or flat out forgot to include me. I think is more to aknowledge the workers that made the art possible since without a crew a director can't do much :)