Do we need these two CSS comments here?