Fix minor cosmetic issue.