bernstein "touched up" the orchestrations, and of course orchestrated the overture, but you're right. Hershey Kay and Maurice Peress did the orchestrations. West Side Story was also not orchestrated by bernstein (except for the orchestral suite)