Fix for github.com renaming.