Fix previous Git nastiness