fix bug in formatter concerning atoms