Minor correction to CSS