Update System C  appendix