small enhancements to random tests