Bugfix: missing opening [[.