Fix is_element_empty util function.
Merge pull request #1058 from BastianHofmann/patch-1

Fix is_element_empty util function.