As with down below, this should probably document what `extra` is.