switched to registered trademark symbol.