Mutexed border width now is 2*2, not 1*2