Don't print id attribute in Heading widget if it is empty. Fixes #614