Minor format correction.