Rename to resolve a strange TypeScript issue
Rename back to the original file to resolve a strange TypeScript issue