Minor correction to body of tex.