Patched a bug in symbolic library where casting would fail.