Update CoralAssembly.md