Tiny fix of style