Convert some properties to auto-properties