Processed Aram's corrections into appendix.