Coding style tiny change.