With regard to the situation itself, I wouldn't provide an XP penalty, per se, but I certainly wouldn't have given any XP bonuses, which usually provide a noteworthy percentage of experience.
I cannot recommend strongly enough that you address any problems with your players (or anybody, for...