more fixes for UNIVERSAL::isa