fix a missing ]