Small fix in style.