Very small update of CSS