A note on Stokes's stream function for motion with a spherical boundary