GitHub bug, I think.