Don't need empty default ctor unless we have to initialize any properties to non-defaults.