Minor change on CSS document