Minor codding style fix.