That was the appropriate response.  Good on you. 

Obligatory edit: now my top comment is about how not to disturb people randomly having sex in public, I guess it's better than a comment about butt play. 