Some minor fixes to https