fix xorbool notation