Bug fixes for auto-properties