Make git diff --check happy