tiny modification to css