renaming bug in file/convertible's contract