Perhaps it shouldn't produce unnecessary double brackets?