(But I agree that this borders on premature optimization on my part. :-) )