few corrections on the logic tests