Fix definition of free (it actually does take one argument)