Cleaned up some appendices.