Fix minor coding style detail.