Yes you are correct I forgot that the Diet Coke I mentioned is in the special boxes marked with Splenda.
The Diet Pepsi just changed over from Aspartame to Sucralose (Splenda)