Uniformize the output.
Fix symbol check.