fix tinderboxen with the right sort of brackets.

Change-Id: I13869771890ce5702d64053e7823dd5cedc82a40