Minor fix in get_uuid subroutine.