Doesn't look like `doc` is actually used...