Fix atom printing bug.