work on Z3 status, fix chrome rendering bug