Penalty for unauthorized leaving floor

[wanja]

This is a violation that should not be called when the basket is made. However, the case indicates that the call has been made. If the whistle has been blown and the call has been clearly indicated (no opportunity to cite an inadvertant whistle), the official does not have the discretion to disregard the penalty. Well, maybe in a rec game where the pain of explaining would be greater than the potential pain of ignoring the rule.