Minor fix for CSS include