Disregard that. There were supposed to be registered trademark logos in that comment, but apparently they don't show.