minor chenages to force recompilation on github pages