Minor tweak to CSS