@dsilverstone It seems obvious that there is no mistake there: Panini must be the name of the person who makes the toasted sarnies!

@dsilverstone Oh dear!