Fix a braket bug