correct a bug in get_internal()