GIT screwup, fixed