I can't come up with a non-trivial use case -- I guess I'll remove it then.