minor change to force update of the github pages site