Correct another github deletion