The screen shots don't go all the way down to where the current version online has him credited twice. So it is hard to say if they were already there or if all three credits were added at the same time after being called out.