fix an indent-error and let git rm does its job