Input (grade 10): He was recently credited as being the producer in a remixed version of The Mitchell Brothers song "Michael Jackson".
Output (grade 11): He has recently been given the credit as being the producer in a remixed version of The Mitchell Brothers song "Michael Jackson".