Erroneously assumed that when body contains the name "file" that it's a
list, not a vector.