Mel [Brooks] and His Movies (2013) - potential title change

https://www.imdb.com/title/tt3292848/
Has 
Runtime 19 min
Release Dates USA 2 July 2013
Also Known As (AKA)
(original title) Mel and His Movies
(DVD box title) Mel and His Movies: The Producers

The runtime and Connections listed on this title are consistent with the "DVD box title", not with the whole film. It also matches what is described in this review:
https://smile.amazon.com/gp/customer-reviews/RJJ7XR976A6XX/ref=cm_cr_getr_d_rvw_ttl?ie=UTF8&ASIN=B00C7A8X4Q
for the 2013 Shout! Factory bluray release of The Producers (1967), which I do NOT have.

But on the 2012 box set The Incredible Mel Brooks: An Irresistible Collection Of Unhinged Comedy, Mel and His Movies is split across the 5 discs as follows:
disc 1: The Producers and The Twelve Chairs (36min)
disc 2: Blazing Saddles and Young Frankenstein (26min)
disc 3: Silent Movie and High Anxiety (23min)
disc 4: History of the World: Part 1, To Be or Not To Be and Spaceballs (21min)
disc 5: Life Stinks, Robin Hood: Men in Tights and Dracula: Dead and Loving It. (32min)
and the end credits appear on the last part only. (I have this set.)

Does anyone have the bluray of The Producers? If so, could you look at how the title of this featurette is presented onscreen? If it is "Mel and His Movies: The Producers", please post a screenshot here. I think the current IMDb title needs to be changed to that, and another title created for the whole film "Mel and His Movies" with the correct runtime (138min) and release year (2012).