Change header content a bit

Mostly to commit something and force GitHub:Pages refresh.