Small bugfix about the parsing of [ and ]