No, that's fine--we should just document it.