GINIDocument: Better behaviour of the extractions property.