Bug fix for []]