small adjustments to correct the display on github.io