New version information; formatting changes