Minor fixes and style corrections.