more random tests and fix defect while converting 4s