And another fix for another silent git malfunction.