Whoops, this comment shouldn't have been left in. I'll remove it.