Little fix of style.