fixed a bug occurring when using abducibles with underscore