[Minor] Tiny correction