Apparently these weren't deleted in git?