minor fix in style