Fix overwritten file in commit df56478