Since this is the only place this option is used, it might be nice to have a comment on it.