An error pointed out by Sekhar was fixed.