Fixup following GitHub changes