fixes for github.io publication