Minor cleanup.
Compatibility with new git versions.