Fix bug in the Referee when notifying an empty set. Fix #77.