Massage of the fingers certainly would not do any harm but if the other muscles are also slightly stiff and there is a significant difference between the activities performed by the two babies, please get him fully evaluated by a developmental paediatrician.