My bad, forgot to remove this. goto() and get_definition() returns a list so type casting is not needed.