Nitpick: extra space in front of [[[