Important bugfix for symbolic parsing (client side)