This option is ugly, and I don't think we really need it. I'll remove it.