attempting to fix github.io issues, re issue #4