bug fix in static get_empty()