Remaining issues after a rebase.
Fix a couple of stray "https:"s.