don't emit double ;s