Sorry, meant to remove that warning—got them both cleared via some discussions with @nedbat