Minor edit to CSS