Rename to make VisualStudio happy