fix spinach after #3196