Minor changes in CSS