Fix some imports for get_check