Minor changes. Moved details to the end.