Fixed bug in grtexstr