tweaked ShortElement.php: sorting element-attributes