Minor change

Yet another change in the hope that github will pick svg.