Yeah, I was writing that on a beaker machine with defaults settings, so probably some tabs mismatch: we should get this fixed