Fixed bugs in bj_getSymbol and hopefully bj_getValue