fix var_dump according to the PHP spec