Minor code style correction.