Some type corrections and editing.