A minor bug fix as one right bracket is missing