Slight simplification of CSS selector.