Small bug fixes in CSS