@kaufman, @Purple Lady, @theducks: I am going to leave it as it is and see what happens. These are check boxes not radio buttons, so the usual semantics are that they are independent. The user can easily see what happens by checking one or both of them.
Of course I reserve the right to change my mind if a sufficient number of people get confused.
