that's indeed a potential optimization. we'll do it if necessary.