[*] Commit due to erroneous git-index