Small fix according to coding standards.