Formatted, minor corrections