It's not even a pun! The original name was barely a pun at all... this just the original name with any semblance of pun removed! Agh!
There is a popular condiment called ketchup. There is a clear pun between Ketchup and KetchUp.
There is a popular condiment called ketchup. There is a clear pun between Ketchup and KetchUp.