Thats my understanding too, the rule used to be when the ball stopped moving forward (the ball clearly spins backwards towards the taker) the pen is technically over. 1986 world cup France vs Brazil pen shootout, there was a pen which hit the keeper and bounced of his head/back and ended up in the net, im sure that was deemed a miss. Unless the rule has changed however