Fixing GIT inconsistency