I am a ref and I likely would have called one of the two, at least a spot just outside the box bare minimum and very possibly a PK. 3aSoccer, glad to see you agree with an official's calls. You are a rare person these days.