Updated small stuff in the paper.