Minor fixes. Finished everything up to Problem 15.