minor cleanup in element.h