bugfix for getUUIDs