Fix get_definition.