The rules of football are designed to be ambiguous so that we can all argue about what happened during the match in the pub afterwards, at work the next day, and for weeks, months and even years afterwards for important enough decisions. That was never a penalty!