Is this normal?

My 9.5 month old pushes things, like a button, with his middle finger.

Is this normal? Will he switch to his pointer finger eventually?