minor fix in the css