Fixup following GitHub HTML changes

Fixes 4
Polish