fix bug in stringification of atomicinit that crops up during printing