fix BitsUnchanged and use it in various specs