IIRC the law was clarified after the 86' World Cup specifically because of Bellone's penalty. I'm damned if I can find it anywhere though, I think as long as the referee is happy that there has been no additional touch by the player who takes the penalty then it can hit the post/keeper etc.
Bookmarks