Minor copyright correction.