More GitHub pages fixes