Minor style change - double (list ,@) casting intractable