That is correct. The corner notch is always pin1, and it's numbered like you listed. All chips should be numbered this way.
Need FreeMCboot? I'll install it on your PS2 Memory Card for free if you cover postage both ways.
Consoles: I have too much stuff
Arcade: No seriously, I have too much stuff. Someone grab a shovel and dig me out of my basement.