I don't think we need to mention this--it's kinda an implementation detail.