There was a "]" missing in the last merge.

Please merge this one as soon as you can. Thank you!