fix brackets (<< >> instead of [[ ]])

Is there a reason why this was the only location where [[ ]] were used?