Fixed but in Atom.toString and .toCompactString.